Fix gtk_paned_set_position to set position_set consistently
authorMatthias Clasen <mclasen@redhat.com>
Mon, 2 May 2016 11:38:26 +0000 (07:38 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 2 May 2016 11:42:06 +0000 (07:42 -0400)
commit9a03fc906affbe509959b36dcef0eb179876d56b
treef6455a27bd730d21225125833d3573d97c0a23b4
parent264b2b78cd52a1e87d0090876d589b9ddbb8bc60
Fix gtk_paned_set_position to set position_set consistently

As pointed out in https://bugzilla.gnome.org/show_bug.cgi?id=765676,
we were failing to set position_set if the position did not change.
gtk/gtkpaned.c